Feeds to Scour
SubscribedAll
Scoured 24524 posts in 54.0 ms
Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System  📏Linear Logic
arxiv.org·1d·
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem  ⚡Proof Automation
twitter.com·4d·Hacker News·
Abstract Semantic Graph  🔢Denotational Semantics
en.wikipedia.org·1d·Hacker News·
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification  ⚔️Lean Tactics
goedelcodeprover.github.io·6d·Hacker News·
Understanding, Is About Constraints  🧮Constraint SMT
thepatrickglenn.substack.com·2d·Substack·
A+  📊APL Heritage
aplwiki.com·2d·Hacker News·
NUS-Program-Verification/AutoRocq: Agentic Theorem Prover for Rocq for Program Verification  📐Proof Assistants
github.com·5d·Hacker News·
From Prompt to Prediction: Understanding Prefill, Decode, and the KV Cache in LLMs  🚀SIMD Text Processing
machinelearningmastery.com·2d·
Proofdoors and Efficiency of CDCL Solvers  🎯Interactive Provers
arxiv.org·3d·
dreddnafious/thereisnospoon: A machine learning primer built from first principles. For engineers who want to reason about ML systems the way they reason about software systems.  🧠Machine Learning
github.com·3d·Hacker News, r/programming·
Approximation algorithms for satisfiable and nearly satisfiable ordering CSPs  🧮Constraint SMT
arxiv.org·1d·
A tree interpretation of arc standard dependency derivation  🌲Parse Trees
arxiv.org·2d·
Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries  ✓Automated Theorem Proving
arxiv.org·1d·
On the Complexity of Determinations  🎯Performance Proofs
arxiv.org·2d·
LLM-Driven Reasoning for Constraint-Aware Feature Selection in Industrial Systems  🧩WASM Components
arxiv.org·6d·
Neuro-Symbolic Learning for Predictive Process Monitoring via Two-Stage Logic Tensor Networks with Rule Pruning  ⚖️Constraint Logic
arxiv.org·2d·
A General Theory of Propositional Modal Bundled Modalities  📏Linear Logic
arxiv.org·3d·
Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents  👑Isabelle/HOL
arxiv.org·1d·
The Model Says Walk: How Surface Heuristics Override Implicit Constraints in LLM Reasoning  🌳Context free grammars
arxiv.org·1d·
Methods for Knowledge Graph Construction from Text Collections: Development and Applications  📊Citation Graphs
arxiv.org·3d·

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help